finite automata in compiler design